#ifndef __KERNEL_TIME_H_
#define __KERNEL_TIME_H_

#include "astraldef.h"
#include "_2timer.h"

void active_ttimer(AstralTickTimer timer);
void ack_tick_irq();
void ttimer_init();
void deact_ttimer(AstralTickTimer timer);


#endif//__KERNEL_TIME_H_